Logical truth and indeterminacy.

The Logical Roots of Indeterminacy

In contemporary terminology the theorem says that if a formula @ of first-order logic with identity is finitely valid but not valid, then for every cardinal A 2 No, @ is not A-valid (i.e., if -@ is satisfiable in an infinite model, then for every infinite cardinal A, -@ is satisfiable in a model of cardinality A).' It follows from this theorem, Lowenheim pointed out, that "[all1 questions conce...

Logical Form and Truth-Conditions∗

This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. Section 1 provides some preliminary clarifications. Section 2 shows that the main motivation for the view is the fact that fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions ar...

Truth Simpliciter and Logical Consequence

Meaning, Context, and Logical Truth

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Externalism, internalism, and Logical Truth

The aim of this paper is to show what sorts of logics are required by externalist and internalist accounts of the meanings of natural kind nouns. These logics give us a new perspective from which to evaluate the respective positions in the externalist–internalist debate about the meanings of such nouns. The two main claims of the paper are the following: first, that adequate logics for internal...